$\forall$$R$:Realizer, $i$:Id, $k$:Knd. write{-}restricted($R$;$i$;$k$) $\Rightarrow$ R{-}has{-}loc($R$;$i$)